Dingkang Yao: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method

Zhou, Jie, Wang, Dingkang, Sun, Yao

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 748 KB

english, 2016

2

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra

Sun, Yao, Huang, Zhenyu, Lin, Dongdai, Wang, Dingkang

Journal:

Journal of Systems Science and Complexity

Year:

2016

Language:

english

File:

PDF, 220 KB

english, 2016

3

The role of the miR-31 /FIH1 pathway in TGF-β-induced liver fibrosis

Hu, Jiangfeng, Chen, Chao, Liu, Qidong, Liu, Baohai, Song, Chenlin, Zhu, Songchen, Wu, Chaoqun, Liu, Su, Yu, Hongyu, Yao, Dingkang, Kang, Jiuhong, Zhu, Liang

Journal:

Clinical Science

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

4

A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials

Lu, Dong, Sun, Yao, Wang, Dingkang

Journal:

Journal of Systems Science and Complexity

Year:

2018

Language:

english

File:

PDF, 292 KB

english, 2018

5

Identification and integrative analysis of microRNAs and mRNAs involved in proliferation and invasion of pressure‑treated human liver cancer cell lines

Shen, Si, Luo, Xu, Gao, Kewei, Sun, Yunchen, Yao, Dingkang, Zhu, Liang

Journal:

Molecular Medicine Reports

Year:

2019

Language:

english

File:

PDF, 1.45 MB

english, 2019

6

Identification and integrative analysis of microRNAs and mRNAs involved in proliferation and invasion of pressure‑treated human liver cancer cell lines

Shen, Si, Luo, Xu, Gao, Kewei, Sun, Yunchen, Yao, Dingkang, Zhu, Liang

Journal:

Molecular Medicine Reports

Year:

2019

File:

PDF, 1.45 MB

2019

7

Surface enhanced laser desorption/ionization profiling: New diagnostic method of HBV-related hepatocellular carcinoma

Cheng Wu, Zhanfeng Wang, Lijie Liu, Peng Zhao, Wenjing Wang, Dingkang Yao, Bing Shi, Junhua Lu, Ping Liao, Yaning Yang, Liang Zhu

Journal:

Journal of Gastroenterology and Hepatology

Year:

2009

Language:

english

File:

PDF, 207 KB

english, 2009

8

Speeding Up the GVW Algorithm via a Substituting Method

Li, Ting, Sun, Yao, Huang, Zhenyu, Wang, Dingkang, Lin, Dongdai

Journal:

Journal of Systems Science and Complexity

Year:

2019

File:

PDF, 418 KB

2019

9

[ACM Press the 2010 International Symposium - Munich, Germany (2010.07.25-2010.07.28)] Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC '10 - A new algorithm for computing comprehensive Gröbner systems

Kapur, Deepak, Sun, Yao, Wang, Dingkang

Year:

2010

Language:

english

File:

PDF, 763 KB

english, 2010

10

Tumor targeting and microenvironment-responsive multifunctional fusion protein for pro-apoptotic peptide delivery

Yin, Jun, Liu, Dingkang, Bao, Lichen, Wang, Qun, Chen, Ye, Hou, Shan, Yue, Yali, Yao, Wenbing, Gao, Xiangdong

Journal:

Year:

2019

Language:

english

File:

PDF, 20.79 MB

english, 2019

11

Potential Serum Markers for Monitoring the Progression of Hepatitis B Virus-Associated Chronic Hepatic Lesions to Liver Cirrhosis

Wu, Cheng, Liu, Lijie, Zhao, Peng, Tang, Dan, Yao, Dingkang, Zhu, Liang, Wang, Zhiqiang

Journal:

Year:

2015

Language:

english

File:

PDF, 715 KB

english, 2015

12

Resistance to activation-induced cell death and elevated FLIPLexpression of CD4+ T cells in a polyI:C-induced primary biliary cirrhosis mouse model

Tingwang Jiang, Zhijun Han, Sunxiao Chen, Chuanyong Wu, Yujie Tang, Cheng Qian, Yan Chen, Ye Zhou, Ye Zhu, Mingli Gu, Liang Zhu, Dingkang Yao, Anmei Deng, Renqian Zhong

Journal:

Clinical and Experimental Medicine

Year:

2009

Language:

english

File:

PDF, 453 KB

english, 2009

13

The F5 algorithm in Buchberger’s style

Yao Sun, Dingkang Wang

Journal:

Journal of Systems Science and Complexity

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

14

An efficient method for computing comprehensive Gröbner bases

Kapur, Deepak, Sun, Yao, Wang, Dingkang

Journal:

Journal of Symbolic Computation

Year:

2013

Language:

english

File:

PDF, 311 KB

english, 2013

15

A new proof for the correctness of the F5 algorithm

Yao Sun, DingKang Wang

Journal:

Science China Mathematics

Year:

2013

Language:

english

File:

PDF, 196 KB

english, 2013

16

Identification of carboxyl terminal peptide of Fibrinogen as a potential serum biomarker for gastric cancer

Wu, Cheng, Luo, Zhiwen, Tang, Dan, Liu, Lijie, Yao, Dingkang, Zhu, Liang, Wang, Zhiqiang

Journal:

Year:

2015

Language:

english

File:

PDF, 904 KB

english, 2015

17

Computing polynomial univariate representations of zero-dimensional ideals by Gröbner basis

XiaoDong Ma, Yao Sun, DingKang Wang

Journal:

Science China Mathematics

Year:

2012

Language:

english

File:

PDF, 234 KB

english, 2012

18

An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system

Deepak Kapur, Yao Sun, Dingkang Wang

Journal:

Journal of Symbolic Computation

Year:

2013

Language:

english

File:

PDF, 347 KB

english, 2013

19

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - A generalized criterion for signature related Gröbner basis algorithms

Sun, Yao, Wang, Dingkang

Year:

2011

Language:

english

File:

PDF, 615 KB

english, 2011

20

Comparative physiological and transcriptomic analyses reveal salt tolerance mechanisms of Zygosaccharomyces rouxii

Wang, Dingkang, Hao, Zhiqiang, Zhao, Jinsong, Jin, Yao, Huang, Jun, Zhou, Rongqing, Wu, Chongde

Journal:

Process Biochemistry

Year:

2019

Language:

english

File:

PDF, 2.71 MB

english, 2019

21

Increased Siglec-1 Expression in Monocytes of Patients with Primary Biliary Cirrhosis

Bao, Guangyu, Han, Zhijun, Yan, Zihe, Wang, Qihong, Zhou, Ye, Yao, Dingkang, Gu, Mingli, Chen, Bo, Chen, Sunxiao, Deng, Anmei, Zhong, Renqian

Journal:

Immunological Investigations

Year:

2010

Language:

english

File:

PDF, 699 KB

english, 2010

22

[ACM Press the 2018 ACM - New York, NY, USA (2018.07.16-2018.07.19)] Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 - An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD

Kapur, Deepak, Lu, Dong, Monagan, Michael, Sun, Yao, Wang, Dingkang

Year:

2018

Language:

english

File:

PDF, 948 KB

english, 2018

23

Genetic Single Neuron Anatomy Reveals Fine Granularity of Cortical Axo-Axonic Cells

Wang, Xiaojun, Tucciarone, Jason, Jiang, Siqi, Yin, Fangfang, Wang, Bor-Shuen, Wang, Dingkang, Jia, Yao, Jia, Xueyan, Li, Yuxin, Yang, Tao, Xu, Zhengchao, Akram, Masood A., Wang, Yusu, Zeng, Shaoqun,

Journal:

Year:

2019

Language:

english

File:

PDF, 8.78 MB

english, 2019

24

On computing Gröbner bases in rings of differential operators

XiaoDong Ma, Yao Sun, DingKang Wang

Journal:

Science China Mathematics

Year:

2011

Language:

english

File:

PDF, 218 KB

english, 2011

25

Algorithms for computing greatest common divisors of parametric multivariate polynomials

Kapur, Deepak, Lu, Dong, Monagan, Michael, Sun, Yao, Wang, Dingkang

Journal:

Journal of Symbolic Computation

Year:

2019

File:

PDF, 996 KB

2019

26

On the Construction of Involutory MDS Matrices over $$\mathbb{F}_{2^{m}}$$F2m

Bai, Jian, Sun, Yao, Wang, Dingkang

Journal:

Journal of Systems Science and Complexity

Year:

2020

File:

PDF, 191 KB

2020

27

The lightest 4 × 4 MDS matrices over GL(4, $$\mathbb{F}_2$$F2)

Bai, Jian, Li, Ting, Sun, Yao, Wang, Dingkang, Lin, Dongdai

Journal:

SCIENCE CHINA Information Sciences

Year:

2018

Language:

english

File:

PDF, 144 KB

english, 2018

28

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously

Kapur, Deepak, Sun, Yao, Wang, Dingkang

Year:

2011

Language:

english

File:

PDF, 578 KB

english, 2011

29

Corrigendum to “Comparative physiological and transcriptomic analyses reveal salt tolerance mechanisms of Zygosaccharomyces rouxii” [Process Biochem. 82 (2019) 59–67]

Wang, Dingkang, Hao, Zhiqiang, Zhao, Jinsong, Jin, Yao, Huang, Jun, Zhou, Rongqing, Chongde, Wu

Journal:

Process Biochemistry

Year:

2019

Language:

english

File:

PDF, 1.62 MB

english, 2019

30

An improvement over the GVW algorithm for inhomogeneous polynomial systems

Sun, Yao, Huang, Zhenyu, Wang, Dingkang, Lin, Dongdai

Journal:

Finite Fields and Their Applications

Year:

2016

Language:

english

File:

PDF, 440 KB

english, 2016

31

Current progress on internal medicine in China—2006 Part II

Dingkang Yao, Liang Zhu, Renqian Yu, Changlin Mei

Journal:

Frontiers of Medicine

Year:

2007

Language:

english

File:

PDF, 312 KB

english, 2007

32

Increased Granulysin Expression in Peripheral Blood Cells of Patients with Primary Biliary Cirrhosis and Its Clinical Implications

Cheng Qian, Sunxiao Chen, Dingkang Yao, Chuanyong Wu, Tingwang Jiang, Jinshan Ke, Ye Zhou, Mingli Gu, Bo Chen, Anmei Deng, Renqian Zhong

Journal:

Journal of Clinical Immunology

Year:

2008

Language:

english

File:

PDF, 337 KB

english, 2008

33

TNFSF9 expression in primary biliary cirrhosis and its clinical significance

Rong Xia, Yujie Tang, Yuanlan Huang, Dingkang Yao, Ye Zhou, Bo Chen, Yan Chen, Sunxiao Chen, Anmei Deng, Renqian Zhong

Journal:

Year:

2010

Language:

english

File:

PDF, 460 KB

english, 2010

34

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras

Sun, Yao, Wang, Dingkang, Ma, Xiaodong, Zhang, Yang

Year:

2012

Language:

english

File:

PDF, 425 KB

english, 2012

35

Speeding Up the GVW Algorithm via a Substituting Method

Li, Ting, Sun, Yao, Huang, Zhenyu, Wang, Dingkang, Lin, Dongdai

Journal:

Journal of Systems Science and Complexity

Year:

2019

Language:

english

File:

PDF, 418 KB

english, 2019

36

Current progress on internal medicine in China—2006 part I

Dingkang Yao, Liang Zhu, Xue Zhao, Changli Mei

Journal:

Frontiers of Medicine

Year:

2007

Language:

english

File:

PDF, 308 KB

english, 2007

37

An efficient algorithm for factoring polynomials over algebraic extension field

Yao Sun, DingKang Wang

Journal:

Science China Mathematics

Year:

2013

Language:

english

File:

PDF, 250 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски